00010	(SETQ LST @(L S T))
00100	~SEMANTICS OF PREPRED
00200	
00300	(DE S_PREPRED()
00350	(COND((MEMQ(CAR(STK 0)) FLUENTS)(LIST @THGOAL(STK 0)@(THTBF FILTEROP)))(T(LIST @THGOAL(STK 0)))) )
00400	
00500	~SEMANTICS OF AXIOM
00600	
00700	(DE S_AXIOM()(PROG(LSTNAME)
00712	(SETQ LSTNAME(READLIST(APPEND LST (EXPLODE(STK 4)))))  
00750	(RETURN
00775	(LIST @DEFPROP(STK 4)
00800	(CONS @THCONSE
00900	(CONS(LIST @CGL (LIST LSTNAME))
01000	(APPEND(CDR(STK 0))
01100	(LIST @(THSETQ(THV LCTR)(THV GCTR))
01200	(COND((NULL(STK 2))(LIST @THUNIQUE LSTNAME)))
01300	(LIST @TREEPATH(STK 4)(CDR(STK 0)))
01400	@(TRACEINFO1)(LIST @THOR T (LIST @TRACEINFO2(STK 4)))
01500	@(COND((TTYIN)(ADVICESYS)))
01550	)
01600	(CAR(STK 0))))))
01700	@THEOREM))))